COMMENT ⊗ VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 C00003 ENDMK C⊗; αXDEFINE ∩⊗↔ α(α)αβ⊗↓ αXDEFINE ≡⊗↔ α(α)αβ⊗↓